step(al,bs,tm(s,[ctxm(zeta_,u,ip,ip_al_3,ip_al_3),ctxm(zeta_,sp,ip,ip_bs,ip_bs)],pri(enc,[pri(lst,[ctxm(zeta_,u,d_1,id_1,cd_1),ctxm(zeta_,u,d_4,id_4,cd_4),ctxm(zeta_,u,d_6,id_6,cd_6),pri(aenc,[pri(lst,[pri(h,[pri(lst,[ctxm(zeta_,u,i,i_al,i_al),ctxm(zeta_,idp1,id,id_ii,id_ii)])]),ctxm(zeta_,dot,n_v,in_z_v,cn_z_v)]),pri(pk,[ctxm(zeta_,ttp,kM,kM_ttp,kM_ttp)])])]),pri(aka,[ctxm(zeta_,dot,kM_c,kM_c,kM_c),ctxm(zeta_,dot,n_a,ss(zeta_,i_n_a),ss(zeta_,c_n_a)),ctxm(zeta_,sp,kM,kM_bs,kM_bs),ctxm(zeta_,dot,n_b,ss(zeta_,i_n_b),ss(zeta_,c_n_b))])]))).
